3.23.85 \(\int \frac {(a+b x+c x^2)^3}{\sqrt {d+e x}} \, dx\) [2285]

Optimal. Leaf size=282 \[ \frac {2 \left (c d^2-b d e+a e^2\right )^3 \sqrt {d+e x}}{e^7}-\frac {2 (2 c d-b e) \left (c d^2-b d e+a e^2\right )^2 (d+e x)^{3/2}}{e^7}+\frac {6 \left (c d^2-b d e+a e^2\right ) \left (5 c^2 d^2+b^2 e^2-c e (5 b d-a e)\right ) (d+e x)^{5/2}}{5 e^7}-\frac {2 (2 c d-b e) \left (10 c^2 d^2+b^2 e^2-2 c e (5 b d-3 a e)\right ) (d+e x)^{7/2}}{7 e^7}+\frac {2 c \left (5 c^2 d^2+b^2 e^2-c e (5 b d-a e)\right ) (d+e x)^{9/2}}{3 e^7}-\frac {6 c^2 (2 c d-b e) (d+e x)^{11/2}}{11 e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7} \]

[Out]

-2*(-b*e+2*c*d)*(a*e^2-b*d*e+c*d^2)^2*(e*x+d)^(3/2)/e^7+6/5*(a*e^2-b*d*e+c*d^2)*(5*c^2*d^2+b^2*e^2-c*e*(-a*e+5
*b*d))*(e*x+d)^(5/2)/e^7-2/7*(-b*e+2*c*d)*(10*c^2*d^2+b^2*e^2-2*c*e*(-3*a*e+5*b*d))*(e*x+d)^(7/2)/e^7+2/3*c*(5
*c^2*d^2+b^2*e^2-c*e*(-a*e+5*b*d))*(e*x+d)^(9/2)/e^7-6/11*c^2*(-b*e+2*c*d)*(e*x+d)^(11/2)/e^7+2/13*c^3*(e*x+d)
^(13/2)/e^7+2*(a*e^2-b*d*e+c*d^2)^3*(e*x+d)^(1/2)/e^7

________________________________________________________________________________________

Rubi [A]
time = 0.09, antiderivative size = 282, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {712} \begin {gather*} \frac {2 c (d+e x)^{9/2} \left (-c e (5 b d-a e)+b^2 e^2+5 c^2 d^2\right )}{3 e^7}-\frac {2 (d+e x)^{7/2} (2 c d-b e) \left (-2 c e (5 b d-3 a e)+b^2 e^2+10 c^2 d^2\right )}{7 e^7}+\frac {6 (d+e x)^{5/2} \left (a e^2-b d e+c d^2\right ) \left (-c e (5 b d-a e)+b^2 e^2+5 c^2 d^2\right )}{5 e^7}-\frac {2 (d+e x)^{3/2} (2 c d-b e) \left (a e^2-b d e+c d^2\right )^2}{e^7}+\frac {2 \sqrt {d+e x} \left (a e^2-b d e+c d^2\right )^3}{e^7}-\frac {6 c^2 (d+e x)^{11/2} (2 c d-b e)}{11 e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x + c*x^2)^3/Sqrt[d + e*x],x]

[Out]

(2*(c*d^2 - b*d*e + a*e^2)^3*Sqrt[d + e*x])/e^7 - (2*(2*c*d - b*e)*(c*d^2 - b*d*e + a*e^2)^2*(d + e*x)^(3/2))/
e^7 + (6*(c*d^2 - b*d*e + a*e^2)*(5*c^2*d^2 + b^2*e^2 - c*e*(5*b*d - a*e))*(d + e*x)^(5/2))/(5*e^7) - (2*(2*c*
d - b*e)*(10*c^2*d^2 + b^2*e^2 - 2*c*e*(5*b*d - 3*a*e))*(d + e*x)^(7/2))/(7*e^7) + (2*c*(5*c^2*d^2 + b^2*e^2 -
c*e*(5*b*d - a*e))*(d + e*x)^(9/2))/(3*e^7) - (6*c^2*(2*c*d - b*e)*(d + e*x)^(11/2))/(11*e^7) + (2*c^3*(d + e
*x)^(13/2))/(13*e^7)

Rule 712

Int[((d_.) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(d +
e*x)^m*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, m}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*
e + a*e^2, 0] && NeQ[2*c*d - b*e, 0] && IntegerQ[p] && (GtQ[p, 0] || (EqQ[a, 0] && IntegerQ[m]))

Rubi steps

\begin {align*} \int \frac {\left (a+b x+c x^2\right )^3}{\sqrt {d+e x}} \, dx &=\int \left (\frac {\left (c d^2-b d e+a e^2\right )^3}{e^6 \sqrt {d+e x}}+\frac {3 (-2 c d+b e) \left (c d^2-b d e+a e^2\right )^2 \sqrt {d+e x}}{e^6}+\frac {3 \left (c d^2-b d e+a e^2\right ) \left (5 c^2 d^2-5 b c d e+b^2 e^2+a c e^2\right ) (d+e x)^{3/2}}{e^6}+\frac {(2 c d-b e) \left (-10 c^2 d^2-b^2 e^2+2 c e (5 b d-3 a e)\right ) (d+e x)^{5/2}}{e^6}+\frac {3 c \left (5 c^2 d^2+b^2 e^2-c e (5 b d-a e)\right ) (d+e x)^{7/2}}{e^6}-\frac {3 c^2 (2 c d-b e) (d+e x)^{9/2}}{e^6}+\frac {c^3 (d+e x)^{11/2}}{e^6}\right ) \, dx\\ &=\frac {2 \left (c d^2-b d e+a e^2\right )^3 \sqrt {d+e x}}{e^7}-\frac {2 (2 c d-b e) \left (c d^2-b d e+a e^2\right )^2 (d+e x)^{3/2}}{e^7}+\frac {6 \left (c d^2-b d e+a e^2\right ) \left (5 c^2 d^2+b^2 e^2-c e (5 b d-a e)\right ) (d+e x)^{5/2}}{5 e^7}-\frac {2 (2 c d-b e) \left (10 c^2 d^2+b^2 e^2-2 c e (5 b d-3 a e)\right ) (d+e x)^{7/2}}{7 e^7}+\frac {2 c \left (5 c^2 d^2+b^2 e^2-c e (5 b d-a e)\right ) (d+e x)^{9/2}}{3 e^7}-\frac {6 c^2 (2 c d-b e) (d+e x)^{11/2}}{11 e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.22, size = 396, normalized size = 1.40 \begin {gather*} \frac {2 \sqrt {d+e x} \left (5 c^3 \left (1024 d^6-512 d^5 e x+384 d^4 e^2 x^2-320 d^3 e^3 x^3+280 d^2 e^4 x^4-252 d e^5 x^5+231 e^6 x^6\right )+429 e^3 \left (35 a^3 e^3+35 a^2 b e^2 (-2 d+e x)+7 a b^2 e \left (8 d^2-4 d e x+3 e^2 x^2\right )+b^3 \left (-16 d^3+8 d^2 e x-6 d e^2 x^2+5 e^3 x^3\right )\right )+143 c e^2 \left (21 a^2 e^2 \left (8 d^2-4 d e x+3 e^2 x^2\right )+18 a b e \left (-16 d^3+8 d^2 e x-6 d e^2 x^2+5 e^3 x^3\right )+b^2 \left (128 d^4-64 d^3 e x+48 d^2 e^2 x^2-40 d e^3 x^3+35 e^4 x^4\right )\right )-13 c^2 e \left (-11 a e \left (128 d^4-64 d^3 e x+48 d^2 e^2 x^2-40 d e^3 x^3+35 e^4 x^4\right )+5 b \left (256 d^5-128 d^4 e x+96 d^3 e^2 x^2-80 d^2 e^3 x^3+70 d e^4 x^4-63 e^5 x^5\right )\right )\right )}{15015 e^7} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x + c*x^2)^3/Sqrt[d + e*x],x]

[Out]

(2*Sqrt[d + e*x]*(5*c^3*(1024*d^6 - 512*d^5*e*x + 384*d^4*e^2*x^2 - 320*d^3*e^3*x^3 + 280*d^2*e^4*x^4 - 252*d*
e^5*x^5 + 231*e^6*x^6) + 429*e^3*(35*a^3*e^3 + 35*a^2*b*e^2*(-2*d + e*x) + 7*a*b^2*e*(8*d^2 - 4*d*e*x + 3*e^2*
x^2) + b^3*(-16*d^3 + 8*d^2*e*x - 6*d*e^2*x^2 + 5*e^3*x^3)) + 143*c*e^2*(21*a^2*e^2*(8*d^2 - 4*d*e*x + 3*e^2*x
^2) + 18*a*b*e*(-16*d^3 + 8*d^2*e*x - 6*d*e^2*x^2 + 5*e^3*x^3) + b^2*(128*d^4 - 64*d^3*e*x + 48*d^2*e^2*x^2 -
40*d*e^3*x^3 + 35*e^4*x^4)) - 13*c^2*e*(-11*a*e*(128*d^4 - 64*d^3*e*x + 48*d^2*e^2*x^2 - 40*d*e^3*x^3 + 35*e^4
*x^4) + 5*b*(256*d^5 - 128*d^4*e*x + 96*d^3*e^2*x^2 - 80*d^2*e^3*x^3 + 70*d*e^4*x^4 - 63*e^5*x^5))))/(15015*e^
7)

________________________________________________________________________________________

Maple [A]
time = 0.81, size = 355, normalized size = 1.26 Too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((c*x^2+b*x+a)^3/(e*x+d)^(1/2),x,method=_RETURNVERBOSE)

[Out]

2/e^7*(1/13*c^3*(e*x+d)^(13/2)+3/11*(b*e-2*c*d)*c^2*(e*x+d)^(11/2)+1/9*((a*e^2-b*d*e+c*d^2)*c^2+2*(b*e-2*c*d)^
2*c+c*(2*(a*e^2-b*d*e+c*d^2)*c+(b*e-2*c*d)^2))*(e*x+d)^(9/2)+1/7*(4*(a*e^2-b*d*e+c*d^2)*c*(b*e-2*c*d)+(b*e-2*c
*d)*(2*(a*e^2-b*d*e+c*d^2)*c+(b*e-2*c*d)^2))*(e*x+d)^(7/2)+1/5*((a*e^2-b*d*e+c*d^2)*(2*(a*e^2-b*d*e+c*d^2)*c+(
b*e-2*c*d)^2)+2*(b*e-2*c*d)^2*(a*e^2-b*d*e+c*d^2)+c*(a*e^2-b*d*e+c*d^2)^2)*(e*x+d)^(5/2)+(a*e^2-b*d*e+c*d^2)^2
*(b*e-2*c*d)*(e*x+d)^(3/2)+(a*e^2-b*d*e+c*d^2)^3*(e*x+d)^(1/2))

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 555 vs. \(2 (264) = 528\).
time = 0.27, size = 555, normalized size = 1.97 \begin {gather*} \frac {2}{15015} \, {\left (429 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} b^{3} e^{\left (-3\right )} + 143 \, {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} b^{2} c e^{\left (-4\right )} + 65 \, {\left (63 \, {\left (x e + d\right )}^{\frac {11}{2}} - 385 \, {\left (x e + d\right )}^{\frac {9}{2}} d + 990 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{2} - 1386 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{3} + 1155 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{4} - 693 \, \sqrt {x e + d} d^{5}\right )} b c^{2} e^{\left (-5\right )} + 5 \, {\left (231 \, {\left (x e + d\right )}^{\frac {13}{2}} - 1638 \, {\left (x e + d\right )}^{\frac {11}{2}} d + 5005 \, {\left (x e + d\right )}^{\frac {9}{2}} d^{2} - 8580 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{3} + 9009 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{4} - 6006 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{5} + 3003 \, \sqrt {x e + d} d^{6}\right )} c^{3} e^{\left (-6\right )} + 15015 \, \sqrt {x e + d} a^{3} + 3003 \, {\left (5 \, {\left ({\left (x e + d\right )}^{\frac {3}{2}} - 3 \, \sqrt {x e + d} d\right )} b e^{\left (-1\right )} + {\left (3 \, {\left (x e + d\right )}^{\frac {5}{2}} - 10 \, {\left (x e + d\right )}^{\frac {3}{2}} d + 15 \, \sqrt {x e + d} d^{2}\right )} c e^{\left (-2\right )}\right )} a^{2} + 143 \, {\left (21 \, {\left (3 \, {\left (x e + d\right )}^{\frac {5}{2}} - 10 \, {\left (x e + d\right )}^{\frac {3}{2}} d + 15 \, \sqrt {x e + d} d^{2}\right )} b^{2} e^{\left (-2\right )} + 18 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} b c e^{\left (-3\right )} + {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} c^{2} e^{\left (-4\right )}\right )} a\right )} e^{\left (-1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^2+b*x+a)^3/(e*x+d)^(1/2),x, algorithm="maxima")

[Out]

2/15015*(429*(5*(x*e + d)^(7/2) - 21*(x*e + d)^(5/2)*d + 35*(x*e + d)^(3/2)*d^2 - 35*sqrt(x*e + d)*d^3)*b^3*e^
(-3) + 143*(35*(x*e + d)^(9/2) - 180*(x*e + d)^(7/2)*d + 378*(x*e + d)^(5/2)*d^2 - 420*(x*e + d)^(3/2)*d^3 + 3
15*sqrt(x*e + d)*d^4)*b^2*c*e^(-4) + 65*(63*(x*e + d)^(11/2) - 385*(x*e + d)^(9/2)*d + 990*(x*e + d)^(7/2)*d^2
- 1386*(x*e + d)^(5/2)*d^3 + 1155*(x*e + d)^(3/2)*d^4 - 693*sqrt(x*e + d)*d^5)*b*c^2*e^(-5) + 5*(231*(x*e + d
)^(13/2) - 1638*(x*e + d)^(11/2)*d + 5005*(x*e + d)^(9/2)*d^2 - 8580*(x*e + d)^(7/2)*d^3 + 9009*(x*e + d)^(5/2
)*d^4 - 6006*(x*e + d)^(3/2)*d^5 + 3003*sqrt(x*e + d)*d^6)*c^3*e^(-6) + 15015*sqrt(x*e + d)*a^3 + 3003*(5*((x*
e + d)^(3/2) - 3*sqrt(x*e + d)*d)*b*e^(-1) + (3*(x*e + d)^(5/2) - 10*(x*e + d)^(3/2)*d + 15*sqrt(x*e + d)*d^2)
*c*e^(-2))*a^2 + 143*(21*(3*(x*e + d)^(5/2) - 10*(x*e + d)^(3/2)*d + 15*sqrt(x*e + d)*d^2)*b^2*e^(-2) + 18*(5*
(x*e + d)^(7/2) - 21*(x*e + d)^(5/2)*d + 35*(x*e + d)^(3/2)*d^2 - 35*sqrt(x*e + d)*d^3)*b*c*e^(-3) + (35*(x*e
+ d)^(9/2) - 180*(x*e + d)^(7/2)*d + 378*(x*e + d)^(5/2)*d^2 - 420*(x*e + d)^(3/2)*d^3 + 315*sqrt(x*e + d)*d^4
)*c^2*e^(-4))*a)*e^(-1)

________________________________________________________________________________________

Fricas [A]
time = 2.49, size = 380, normalized size = 1.35 \begin {gather*} \frac {2}{15015} \, {\left (5120 \, c^{3} d^{6} + {\left (1155 \, c^{3} x^{6} + 4095 \, b c^{2} x^{5} + 5005 \, {\left (b^{2} c + a c^{2}\right )} x^{4} + 15015 \, a^{2} b x + 2145 \, {\left (b^{3} + 6 \, a b c\right )} x^{3} + 15015 \, a^{3} + 9009 \, {\left (a b^{2} + a^{2} c\right )} x^{2}\right )} e^{6} - 2 \, {\left (630 \, c^{3} d x^{5} + 2275 \, b c^{2} d x^{4} + 2860 \, {\left (b^{2} c + a c^{2}\right )} d x^{3} + 15015 \, a^{2} b d + 1287 \, {\left (b^{3} + 6 \, a b c\right )} d x^{2} + 6006 \, {\left (a b^{2} + a^{2} c\right )} d x\right )} e^{5} + 8 \, {\left (175 \, c^{3} d^{2} x^{4} + 650 \, b c^{2} d^{2} x^{3} + 858 \, {\left (b^{2} c + a c^{2}\right )} d^{2} x^{2} + 429 \, {\left (b^{3} + 6 \, a b c\right )} d^{2} x + 3003 \, {\left (a b^{2} + a^{2} c\right )} d^{2}\right )} e^{4} - 16 \, {\left (100 \, c^{3} d^{3} x^{3} + 390 \, b c^{2} d^{3} x^{2} + 572 \, {\left (b^{2} c + a c^{2}\right )} d^{3} x + 429 \, {\left (b^{3} + 6 \, a b c\right )} d^{3}\right )} e^{3} + 128 \, {\left (15 \, c^{3} d^{4} x^{2} + 65 \, b c^{2} d^{4} x + 143 \, {\left (b^{2} c + a c^{2}\right )} d^{4}\right )} e^{2} - 1280 \, {\left (2 \, c^{3} d^{5} x + 13 \, b c^{2} d^{5}\right )} e\right )} \sqrt {x e + d} e^{\left (-7\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^2+b*x+a)^3/(e*x+d)^(1/2),x, algorithm="fricas")

[Out]

2/15015*(5120*c^3*d^6 + (1155*c^3*x^6 + 4095*b*c^2*x^5 + 5005*(b^2*c + a*c^2)*x^4 + 15015*a^2*b*x + 2145*(b^3
+ 6*a*b*c)*x^3 + 15015*a^3 + 9009*(a*b^2 + a^2*c)*x^2)*e^6 - 2*(630*c^3*d*x^5 + 2275*b*c^2*d*x^4 + 2860*(b^2*c
+ a*c^2)*d*x^3 + 15015*a^2*b*d + 1287*(b^3 + 6*a*b*c)*d*x^2 + 6006*(a*b^2 + a^2*c)*d*x)*e^5 + 8*(175*c^3*d^2*
x^4 + 650*b*c^2*d^2*x^3 + 858*(b^2*c + a*c^2)*d^2*x^2 + 429*(b^3 + 6*a*b*c)*d^2*x + 3003*(a*b^2 + a^2*c)*d^2)*
e^4 - 16*(100*c^3*d^3*x^3 + 390*b*c^2*d^3*x^2 + 572*(b^2*c + a*c^2)*d^3*x + 429*(b^3 + 6*a*b*c)*d^3)*e^3 + 128
*(15*c^3*d^4*x^2 + 65*b*c^2*d^4*x + 143*(b^2*c + a*c^2)*d^4)*e^2 - 1280*(2*c^3*d^5*x + 13*b*c^2*d^5)*e)*sqrt(x
*e + d)*e^(-7)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1406 vs. \(2 (279) = 558\).
time = 82.79, size = 1406, normalized size = 4.99 \begin {gather*} \begin {cases} \frac {- \frac {2 a^{3} d}{\sqrt {d + e x}} - 2 a^{3} \left (- \frac {d}{\sqrt {d + e x}} - \sqrt {d + e x}\right ) - \frac {6 a^{2} b d \left (- \frac {d}{\sqrt {d + e x}} - \sqrt {d + e x}\right )}{e} - \frac {6 a^{2} b \left (\frac {d^{2}}{\sqrt {d + e x}} + 2 d \sqrt {d + e x} - \frac {\left (d + e x\right )^{\frac {3}{2}}}{3}\right )}{e} - \frac {6 a^{2} c d \left (\frac {d^{2}}{\sqrt {d + e x}} + 2 d \sqrt {d + e x} - \frac {\left (d + e x\right )^{\frac {3}{2}}}{3}\right )}{e^{2}} - \frac {6 a^{2} c \left (- \frac {d^{3}}{\sqrt {d + e x}} - 3 d^{2} \sqrt {d + e x} + d \left (d + e x\right )^{\frac {3}{2}} - \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{2}} - \frac {6 a b^{2} d \left (\frac {d^{2}}{\sqrt {d + e x}} + 2 d \sqrt {d + e x} - \frac {\left (d + e x\right )^{\frac {3}{2}}}{3}\right )}{e^{2}} - \frac {6 a b^{2} \left (- \frac {d^{3}}{\sqrt {d + e x}} - 3 d^{2} \sqrt {d + e x} + d \left (d + e x\right )^{\frac {3}{2}} - \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{2}} - \frac {12 a b c d \left (- \frac {d^{3}}{\sqrt {d + e x}} - 3 d^{2} \sqrt {d + e x} + d \left (d + e x\right )^{\frac {3}{2}} - \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{3}} - \frac {12 a b c \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{3}} - \frac {6 a c^{2} d \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{4}} - \frac {6 a c^{2} \left (- \frac {d^{5}}{\sqrt {d + e x}} - 5 d^{4} \sqrt {d + e x} + \frac {10 d^{3} \left (d + e x\right )^{\frac {3}{2}}}{3} - 2 d^{2} \left (d + e x\right )^{\frac {5}{2}} + \frac {5 d \left (d + e x\right )^{\frac {7}{2}}}{7} - \frac {\left (d + e x\right )^{\frac {9}{2}}}{9}\right )}{e^{4}} - \frac {2 b^{3} d \left (- \frac {d^{3}}{\sqrt {d + e x}} - 3 d^{2} \sqrt {d + e x} + d \left (d + e x\right )^{\frac {3}{2}} - \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{3}} - \frac {2 b^{3} \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{3}} - \frac {6 b^{2} c d \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{4}} - \frac {6 b^{2} c \left (- \frac {d^{5}}{\sqrt {d + e x}} - 5 d^{4} \sqrt {d + e x} + \frac {10 d^{3} \left (d + e x\right )^{\frac {3}{2}}}{3} - 2 d^{2} \left (d + e x\right )^{\frac {5}{2}} + \frac {5 d \left (d + e x\right )^{\frac {7}{2}}}{7} - \frac {\left (d + e x\right )^{\frac {9}{2}}}{9}\right )}{e^{4}} - \frac {6 b c^{2} d \left (- \frac {d^{5}}{\sqrt {d + e x}} - 5 d^{4} \sqrt {d + e x} + \frac {10 d^{3} \left (d + e x\right )^{\frac {3}{2}}}{3} - 2 d^{2} \left (d + e x\right )^{\frac {5}{2}} + \frac {5 d \left (d + e x\right )^{\frac {7}{2}}}{7} - \frac {\left (d + e x\right )^{\frac {9}{2}}}{9}\right )}{e^{5}} - \frac {6 b c^{2} \left (\frac {d^{6}}{\sqrt {d + e x}} + 6 d^{5} \sqrt {d + e x} - 5 d^{4} \left (d + e x\right )^{\frac {3}{2}} + 4 d^{3} \left (d + e x\right )^{\frac {5}{2}} - \frac {15 d^{2} \left (d + e x\right )^{\frac {7}{2}}}{7} + \frac {2 d \left (d + e x\right )^{\frac {9}{2}}}{3} - \frac {\left (d + e x\right )^{\frac {11}{2}}}{11}\right )}{e^{5}} - \frac {2 c^{3} d \left (\frac {d^{6}}{\sqrt {d + e x}} + 6 d^{5} \sqrt {d + e x} - 5 d^{4} \left (d + e x\right )^{\frac {3}{2}} + 4 d^{3} \left (d + e x\right )^{\frac {5}{2}} - \frac {15 d^{2} \left (d + e x\right )^{\frac {7}{2}}}{7} + \frac {2 d \left (d + e x\right )^{\frac {9}{2}}}{3} - \frac {\left (d + e x\right )^{\frac {11}{2}}}{11}\right )}{e^{6}} - \frac {2 c^{3} \left (- \frac {d^{7}}{\sqrt {d + e x}} - 7 d^{6} \sqrt {d + e x} + 7 d^{5} \left (d + e x\right )^{\frac {3}{2}} - 7 d^{4} \left (d + e x\right )^{\frac {5}{2}} + 5 d^{3} \left (d + e x\right )^{\frac {7}{2}} - \frac {7 d^{2} \left (d + e x\right )^{\frac {9}{2}}}{3} + \frac {7 d \left (d + e x\right )^{\frac {11}{2}}}{11} - \frac {\left (d + e x\right )^{\frac {13}{2}}}{13}\right )}{e^{6}}}{e} & \text {for}\: e \neq 0 \\\frac {a^{3} x + \frac {3 a^{2} b x^{2}}{2} + \frac {b c^{2} x^{6}}{2} + \frac {c^{3} x^{7}}{7} + \frac {x^{5} \cdot \left (3 a c^{2} + 3 b^{2} c\right )}{5} + \frac {x^{4} \cdot \left (6 a b c + b^{3}\right )}{4} + \frac {x^{3} \cdot \left (3 a^{2} c + 3 a b^{2}\right )}{3}}{\sqrt {d}} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x**2+b*x+a)**3/(e*x+d)**(1/2),x)

[Out]

Piecewise(((-2*a**3*d/sqrt(d + e*x) - 2*a**3*(-d/sqrt(d + e*x) - sqrt(d + e*x)) - 6*a**2*b*d*(-d/sqrt(d + e*x)
- sqrt(d + e*x))/e - 6*a**2*b*(d**2/sqrt(d + e*x) + 2*d*sqrt(d + e*x) - (d + e*x)**(3/2)/3)/e - 6*a**2*c*d*(d
**2/sqrt(d + e*x) + 2*d*sqrt(d + e*x) - (d + e*x)**(3/2)/3)/e**2 - 6*a**2*c*(-d**3/sqrt(d + e*x) - 3*d**2*sqrt
(d + e*x) + d*(d + e*x)**(3/2) - (d + e*x)**(5/2)/5)/e**2 - 6*a*b**2*d*(d**2/sqrt(d + e*x) + 2*d*sqrt(d + e*x)
- (d + e*x)**(3/2)/3)/e**2 - 6*a*b**2*(-d**3/sqrt(d + e*x) - 3*d**2*sqrt(d + e*x) + d*(d + e*x)**(3/2) - (d +
e*x)**(5/2)/5)/e**2 - 12*a*b*c*d*(-d**3/sqrt(d + e*x) - 3*d**2*sqrt(d + e*x) + d*(d + e*x)**(3/2) - (d + e*x)
**(5/2)/5)/e**3 - 12*a*b*c*(d**4/sqrt(d + e*x) + 4*d**3*sqrt(d + e*x) - 2*d**2*(d + e*x)**(3/2) + 4*d*(d + e*x
)**(5/2)/5 - (d + e*x)**(7/2)/7)/e**3 - 6*a*c**2*d*(d**4/sqrt(d + e*x) + 4*d**3*sqrt(d + e*x) - 2*d**2*(d + e*
x)**(3/2) + 4*d*(d + e*x)**(5/2)/5 - (d + e*x)**(7/2)/7)/e**4 - 6*a*c**2*(-d**5/sqrt(d + e*x) - 5*d**4*sqrt(d
+ e*x) + 10*d**3*(d + e*x)**(3/2)/3 - 2*d**2*(d + e*x)**(5/2) + 5*d*(d + e*x)**(7/2)/7 - (d + e*x)**(9/2)/9)/e
**4 - 2*b**3*d*(-d**3/sqrt(d + e*x) - 3*d**2*sqrt(d + e*x) + d*(d + e*x)**(3/2) - (d + e*x)**(5/2)/5)/e**3 - 2
*b**3*(d**4/sqrt(d + e*x) + 4*d**3*sqrt(d + e*x) - 2*d**2*(d + e*x)**(3/2) + 4*d*(d + e*x)**(5/2)/5 - (d + e*x
)**(7/2)/7)/e**3 - 6*b**2*c*d*(d**4/sqrt(d + e*x) + 4*d**3*sqrt(d + e*x) - 2*d**2*(d + e*x)**(3/2) + 4*d*(d +
e*x)**(5/2)/5 - (d + e*x)**(7/2)/7)/e**4 - 6*b**2*c*(-d**5/sqrt(d + e*x) - 5*d**4*sqrt(d + e*x) + 10*d**3*(d +
e*x)**(3/2)/3 - 2*d**2*(d + e*x)**(5/2) + 5*d*(d + e*x)**(7/2)/7 - (d + e*x)**(9/2)/9)/e**4 - 6*b*c**2*d*(-d*
*5/sqrt(d + e*x) - 5*d**4*sqrt(d + e*x) + 10*d**3*(d + e*x)**(3/2)/3 - 2*d**2*(d + e*x)**(5/2) + 5*d*(d + e*x)
**(7/2)/7 - (d + e*x)**(9/2)/9)/e**5 - 6*b*c**2*(d**6/sqrt(d + e*x) + 6*d**5*sqrt(d + e*x) - 5*d**4*(d + e*x)*
*(3/2) + 4*d**3*(d + e*x)**(5/2) - 15*d**2*(d + e*x)**(7/2)/7 + 2*d*(d + e*x)**(9/2)/3 - (d + e*x)**(11/2)/11)
/e**5 - 2*c**3*d*(d**6/sqrt(d + e*x) + 6*d**5*sqrt(d + e*x) - 5*d**4*(d + e*x)**(3/2) + 4*d**3*(d + e*x)**(5/2
) - 15*d**2*(d + e*x)**(7/2)/7 + 2*d*(d + e*x)**(9/2)/3 - (d + e*x)**(11/2)/11)/e**6 - 2*c**3*(-d**7/sqrt(d +
e*x) - 7*d**6*sqrt(d + e*x) + 7*d**5*(d + e*x)**(3/2) - 7*d**4*(d + e*x)**(5/2) + 5*d**3*(d + e*x)**(7/2) - 7*
d**2*(d + e*x)**(9/2)/3 + 7*d*(d + e*x)**(11/2)/11 - (d + e*x)**(13/2)/13)/e**6)/e, Ne(e, 0)), ((a**3*x + 3*a*
*2*b*x**2/2 + b*c**2*x**6/2 + c**3*x**7/7 + x**5*(3*a*c**2 + 3*b**2*c)/5 + x**4*(6*a*b*c + b**3)/4 + x**3*(3*a
**2*c + 3*a*b**2)/3)/sqrt(d), True))

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 556 vs. \(2 (264) = 528\).
time = 1.60, size = 556, normalized size = 1.97 \begin {gather*} \frac {2}{15015} \, {\left (15015 \, {\left ({\left (x e + d\right )}^{\frac {3}{2}} - 3 \, \sqrt {x e + d} d\right )} a^{2} b e^{\left (-1\right )} + 3003 \, {\left (3 \, {\left (x e + d\right )}^{\frac {5}{2}} - 10 \, {\left (x e + d\right )}^{\frac {3}{2}} d + 15 \, \sqrt {x e + d} d^{2}\right )} a b^{2} e^{\left (-2\right )} + 3003 \, {\left (3 \, {\left (x e + d\right )}^{\frac {5}{2}} - 10 \, {\left (x e + d\right )}^{\frac {3}{2}} d + 15 \, \sqrt {x e + d} d^{2}\right )} a^{2} c e^{\left (-2\right )} + 429 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} b^{3} e^{\left (-3\right )} + 2574 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} a b c e^{\left (-3\right )} + 143 \, {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} b^{2} c e^{\left (-4\right )} + 143 \, {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} a c^{2} e^{\left (-4\right )} + 65 \, {\left (63 \, {\left (x e + d\right )}^{\frac {11}{2}} - 385 \, {\left (x e + d\right )}^{\frac {9}{2}} d + 990 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{2} - 1386 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{3} + 1155 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{4} - 693 \, \sqrt {x e + d} d^{5}\right )} b c^{2} e^{\left (-5\right )} + 5 \, {\left (231 \, {\left (x e + d\right )}^{\frac {13}{2}} - 1638 \, {\left (x e + d\right )}^{\frac {11}{2}} d + 5005 \, {\left (x e + d\right )}^{\frac {9}{2}} d^{2} - 8580 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{3} + 9009 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{4} - 6006 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{5} + 3003 \, \sqrt {x e + d} d^{6}\right )} c^{3} e^{\left (-6\right )} + 15015 \, \sqrt {x e + d} a^{3}\right )} e^{\left (-1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((c*x^2+b*x+a)^3/(e*x+d)^(1/2),x, algorithm="giac")

[Out]

2/15015*(15015*((x*e + d)^(3/2) - 3*sqrt(x*e + d)*d)*a^2*b*e^(-1) + 3003*(3*(x*e + d)^(5/2) - 10*(x*e + d)^(3/
2)*d + 15*sqrt(x*e + d)*d^2)*a*b^2*e^(-2) + 3003*(3*(x*e + d)^(5/2) - 10*(x*e + d)^(3/2)*d + 15*sqrt(x*e + d)*
d^2)*a^2*c*e^(-2) + 429*(5*(x*e + d)^(7/2) - 21*(x*e + d)^(5/2)*d + 35*(x*e + d)^(3/2)*d^2 - 35*sqrt(x*e + d)*
d^3)*b^3*e^(-3) + 2574*(5*(x*e + d)^(7/2) - 21*(x*e + d)^(5/2)*d + 35*(x*e + d)^(3/2)*d^2 - 35*sqrt(x*e + d)*d
^3)*a*b*c*e^(-3) + 143*(35*(x*e + d)^(9/2) - 180*(x*e + d)^(7/2)*d + 378*(x*e + d)^(5/2)*d^2 - 420*(x*e + d)^(
3/2)*d^3 + 315*sqrt(x*e + d)*d^4)*b^2*c*e^(-4) + 143*(35*(x*e + d)^(9/2) - 180*(x*e + d)^(7/2)*d + 378*(x*e +
d)^(5/2)*d^2 - 420*(x*e + d)^(3/2)*d^3 + 315*sqrt(x*e + d)*d^4)*a*c^2*e^(-4) + 65*(63*(x*e + d)^(11/2) - 385*(
x*e + d)^(9/2)*d + 990*(x*e + d)^(7/2)*d^2 - 1386*(x*e + d)^(5/2)*d^3 + 1155*(x*e + d)^(3/2)*d^4 - 693*sqrt(x*
e + d)*d^5)*b*c^2*e^(-5) + 5*(231*(x*e + d)^(13/2) - 1638*(x*e + d)^(11/2)*d + 5005*(x*e + d)^(9/2)*d^2 - 8580
*(x*e + d)^(7/2)*d^3 + 9009*(x*e + d)^(5/2)*d^4 - 6006*(x*e + d)^(3/2)*d^5 + 3003*sqrt(x*e + d)*d^6)*c^3*e^(-6
) + 15015*sqrt(x*e + d)*a^3)*e^(-1)

________________________________________________________________________________________

Mupad [B]
time = 0.07, size = 297, normalized size = 1.05 \begin {gather*} \frac {{\left (d+e\,x\right )}^{5/2}\,\left (6\,a^2\,c\,e^4+6\,a\,b^2\,e^4-36\,a\,b\,c\,d\,e^3+36\,a\,c^2\,d^2\,e^2-6\,b^3\,d\,e^3+36\,b^2\,c\,d^2\,e^2-60\,b\,c^2\,d^3\,e+30\,c^3\,d^4\right )}{5\,e^7}+\frac {2\,c^3\,{\left (d+e\,x\right )}^{13/2}}{13\,e^7}-\frac {\left (12\,c^3\,d-6\,b\,c^2\,e\right )\,{\left (d+e\,x\right )}^{11/2}}{11\,e^7}+\frac {{\left (d+e\,x\right )}^{9/2}\,\left (6\,b^2\,c\,e^2-30\,b\,c^2\,d\,e+30\,c^3\,d^2+6\,a\,c^2\,e^2\right )}{9\,e^7}+\frac {2\,\sqrt {d+e\,x}\,{\left (c\,d^2-b\,d\,e+a\,e^2\right )}^3}{e^7}+\frac {2\,\left (b\,e-2\,c\,d\right )\,{\left (d+e\,x\right )}^{7/2}\,\left (b^2\,e^2-10\,b\,c\,d\,e+10\,c^2\,d^2+6\,a\,c\,e^2\right )}{7\,e^7}+\frac {2\,\left (b\,e-2\,c\,d\right )\,{\left (d+e\,x\right )}^{3/2}\,{\left (c\,d^2-b\,d\,e+a\,e^2\right )}^2}{e^7} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*x + c*x^2)^3/(d + e*x)^(1/2),x)

[Out]

((d + e*x)^(5/2)*(30*c^3*d^4 + 6*a*b^2*e^4 + 6*a^2*c*e^4 - 6*b^3*d*e^3 + 36*a*c^2*d^2*e^2 + 36*b^2*c*d^2*e^2 -
60*b*c^2*d^3*e - 36*a*b*c*d*e^3))/(5*e^7) + (2*c^3*(d + e*x)^(13/2))/(13*e^7) - ((12*c^3*d - 6*b*c^2*e)*(d +
e*x)^(11/2))/(11*e^7) + ((d + e*x)^(9/2)*(30*c^3*d^2 + 6*a*c^2*e^2 + 6*b^2*c*e^2 - 30*b*c^2*d*e))/(9*e^7) + (2
*(d + e*x)^(1/2)*(a*e^2 + c*d^2 - b*d*e)^3)/e^7 + (2*(b*e - 2*c*d)*(d + e*x)^(7/2)*(b^2*e^2 + 10*c^2*d^2 + 6*a
*c*e^2 - 10*b*c*d*e))/(7*e^7) + (2*(b*e - 2*c*d)*(d + e*x)^(3/2)*(a*e^2 + c*d^2 - b*d*e)^2)/e^7

________________________________________________________________________________________